Computacional Logic
Computer Science and Engineering, Artificial Intelligence and Data Science & Mathematics and Applications, University of Beira Interior, Computer Science Department, 2024
This course presents the main concepts of Logic, in its computational aspect, i.e. through algorithms and computational techniques that allows its use in the field of Computer Engineering.